Optimal. Leaf size=63 \[ -\frac {b \sqrt {1-d^2 x^2}}{d^2}-\frac {c x \sqrt {1-d^2 x^2}}{2 d^2}+\frac {\left (c+2 a d^2\right ) \sin ^{-1}(d x)}{2 d^3} \]
[Out]
________________________________________________________________________________________
Rubi [A]
time = 0.04, antiderivative size = 63, normalized size of antiderivative = 1.00, number of steps
used = 4, number of rules used = 4, integrand size = 30, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.133, Rules used = {913, 1829, 655,
222} \begin {gather*} \frac {\left (2 a d^2+c\right ) \text {ArcSin}(d x)}{2 d^3}-\frac {b \sqrt {1-d^2 x^2}}{d^2}-\frac {c x \sqrt {1-d^2 x^2}}{2 d^2} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
Rule 222
Rule 655
Rule 913
Rule 1829
Rubi steps
\begin {align*} \int \frac {a+b x+c x^2}{\sqrt {1-d x} \sqrt {1+d x}} \, dx &=\int \frac {a+b x+c x^2}{\sqrt {1-d^2 x^2}} \, dx\\ &=-\frac {c x \sqrt {1-d^2 x^2}}{2 d^2}-\frac {\int \frac {-c-2 a d^2-2 b d^2 x}{\sqrt {1-d^2 x^2}} \, dx}{2 d^2}\\ &=-\frac {b \sqrt {1-d^2 x^2}}{d^2}-\frac {c x \sqrt {1-d^2 x^2}}{2 d^2}-\frac {\left (-c-2 a d^2\right ) \int \frac {1}{\sqrt {1-d^2 x^2}} \, dx}{2 d^2}\\ &=-\frac {b \sqrt {1-d^2 x^2}}{d^2}-\frac {c x \sqrt {1-d^2 x^2}}{2 d^2}+\frac {\left (c+2 a d^2\right ) \sin ^{-1}(d x)}{2 d^3}\\ \end {align*}
________________________________________________________________________________________
Mathematica [A]
time = 0.24, size = 82, normalized size = 1.30 \begin {gather*} \frac {(-2 b-c x) \sqrt {1-d^2 x^2}}{2 d^2}+\frac {\sqrt {-d^2} \left (c+2 a d^2\right ) \log \left (-\sqrt {-d^2} x+\sqrt {1-d^2 x^2}\right )}{2 d^4} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [C] Result contains higher order function than in optimal. Order 9 vs. order
3.
time = 0.13, size = 117, normalized size = 1.86
method | result | size |
default | \(-\frac {\sqrt {-d x +1}\, \sqrt {d x +1}\, \left (\mathrm {csgn}\left (d \right ) d \sqrt {-d^{2} x^{2}+1}\, c x -2 \arctan \left (\frac {\mathrm {csgn}\left (d \right ) d x}{\sqrt {-d^{2} x^{2}+1}}\right ) a \,d^{2}+2 \,\mathrm {csgn}\left (d \right ) d \sqrt {-d^{2} x^{2}+1}\, b -\arctan \left (\frac {\mathrm {csgn}\left (d \right ) d x}{\sqrt {-d^{2} x^{2}+1}}\right ) c \right ) \mathrm {csgn}\left (d \right )}{2 d^{3} \sqrt {-d^{2} x^{2}+1}}\) | \(117\) |
risch | \(\frac {\left (c x +2 b \right ) \left (d x -1\right ) \sqrt {d x +1}\, \sqrt {\left (-d x +1\right ) \left (d x +1\right )}}{2 d^{2} \sqrt {-\left (d x -1\right ) \left (d x +1\right )}\, \sqrt {-d x +1}}+\frac {\left (\frac {\arctan \left (\frac {\sqrt {d^{2}}\, x}{\sqrt {-d^{2} x^{2}+1}}\right ) a}{\sqrt {d^{2}}}+\frac {\arctan \left (\frac {\sqrt {d^{2}}\, x}{\sqrt {-d^{2} x^{2}+1}}\right ) c}{2 d^{2} \sqrt {d^{2}}}\right ) \sqrt {\left (-d x +1\right ) \left (d x +1\right )}}{\sqrt {-d x +1}\, \sqrt {d x +1}}\) | \(151\) |
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [A]
time = 0.49, size = 57, normalized size = 0.90 \begin {gather*} \frac {a \arcsin \left (d x\right )}{d} - \frac {\sqrt {-d^{2} x^{2} + 1} c x}{2 \, d^{2}} - \frac {\sqrt {-d^{2} x^{2} + 1} b}{d^{2}} + \frac {c \arcsin \left (d x\right )}{2 \, d^{3}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [A]
time = 2.20, size = 67, normalized size = 1.06 \begin {gather*} -\frac {{\left (c d x + 2 \, b d\right )} \sqrt {d x + 1} \sqrt {-d x + 1} + 2 \, {\left (2 \, a d^{2} + c\right )} \arctan \left (\frac {\sqrt {d x + 1} \sqrt {-d x + 1} - 1}{d x}\right )}{2 \, d^{3}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [F(-1)] Timed out
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {Timed out} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [A]
time = 5.60, size = 60, normalized size = 0.95 \begin {gather*} -\frac {{\left ({\left (d x + 1\right )} c + 2 \, b d - c\right )} \sqrt {d x + 1} \sqrt {-d x + 1} - 2 \, {\left (2 \, a d^{2} + c\right )} \arcsin \left (\frac {1}{2} \, \sqrt {2} \sqrt {d x + 1}\right )}{2 \, d^{3}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Mupad [B]
time = 7.76, size = 232, normalized size = 3.68 \begin {gather*} -\frac {\sqrt {1-d\,x}\,\left (\frac {b}{d^2}+\frac {b\,x}{d}\right )}{\sqrt {d\,x+1}}-\frac {4\,a\,\mathrm {atan}\left (\frac {d\,\left (\sqrt {1-d\,x}-1\right )}{\left (\sqrt {d\,x+1}-1\right )\,\sqrt {d^2}}\right )}{\sqrt {d^2}}-\frac {2\,c\,\mathrm {atan}\left (\frac {\sqrt {1-d\,x}-1}{\sqrt {d\,x+1}-1}\right )}{d^3}-\frac {\frac {14\,c\,{\left (\sqrt {1-d\,x}-1\right )}^3}{{\left (\sqrt {d\,x+1}-1\right )}^3}-\frac {14\,c\,{\left (\sqrt {1-d\,x}-1\right )}^5}{{\left (\sqrt {d\,x+1}-1\right )}^5}+\frac {2\,c\,{\left (\sqrt {1-d\,x}-1\right )}^7}{{\left (\sqrt {d\,x+1}-1\right )}^7}-\frac {2\,c\,\left (\sqrt {1-d\,x}-1\right )}{\sqrt {d\,x+1}-1}}{d^3\,{\left (\frac {{\left (\sqrt {1-d\,x}-1\right )}^2}{{\left (\sqrt {d\,x+1}-1\right )}^2}+1\right )}^4} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________